High level test of complex systemsMARGARIA, Tiziana.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, issn 1433-2779, 95 p.Serial Issue

CHARME 2001 : correct hardware design and verification methods (Livingston, 4-7 September 2001)Margaria, Tiziana; Melham, Tom.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42541-1, XII, 482 p, isbn 3-540-42541-1Conference Proceedings

Leveraging applications of formal methods (First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004)Margaria, Tiziana; Steffen, Bernhard.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, VIII-196 p, isbn 978-3-540-48928-3Conference Proceedings

Run-time agents as a means of reconciling flexibility and scalability of servicesMARGARIA, Tiziana; STEFFEN, Bernhard.Lecture notes in computer science. 2006, pp 257-268, issn 0302-9743, isbn 3-540-69265-7, 1Vol, 12 p.Conference Paper

Test distribution : a solution for complex network system testingVIHO, César.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 316-325, issn 1433-2779, 10 p.Article

Simplicity as a Driver for Agile InnovationMARGARIA, Tiziana; STEFFEN, Bernhard.Computer (Long Beach, CA). 2010, Vol 43, Num 6, pp 90-92, issn 0018-9162, 3 p.Article

Test generation for radiotherapy acceleratorsTURNER, Kenneth J.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 361-375, issn 1433-2779, 15 p.Article

A framework for distributing object-oriented designsEL GUEMHIOUI, Karim.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 3, pp 381-396, issn 1433-2779, 16 p.Conference Paper

Assuring property conformance of code generators via model checkingJÖRGES, Sven; MARGARIA, Tiziana; STEFFEN, Bernhard et al.Formal aspects of computing. 2011, Vol 23, Num 5, pp 589-606, issn 0934-5043, 18 p.Conference Paper

On the correctness of transformations in compiler back-endsZIMMERMANN, Wolf.Lecture notes in computer science. 2006, pp 74-95, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 22 p.Conference Paper

Parameterized verification of the FLASH cache coherence protocol by compositional model checkingMCMILLAN, K. L.Lecture notes in computer science. 2001, pp 179-195, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Temporal properties of self-timed ringsWINSTANLEY, Anthony; GREENSTREET, Mark.Lecture notes in computer science. 2001, pp 140-154, issn 0302-9743, isbn 3-540-42541-1Conference Paper

An automata based interpretation of Live Sequence ChartsKLOSE, Jochen; WITTKE, Hartmut.Lecture notes in computer science. 2001, pp 512-527, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Building a tool for the analysis and testing of Web applications : Problems and solutionsRICCA, Filippo; TONELLA, Paolo.Lecture notes in computer science. 2001, pp 373-388, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Efficient reachability analysis and refinement checking of timed automata using BDDSBEYER, Dirk.Lecture notes in computer science. 2001, pp 86-91, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Formal pipeline designSECELEANU, Tiberiu; PLOSILA, Juha.Lecture notes in computer science. 2001, pp 167-172, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Net reductions for LTL model-checkingESPARZA, Javier; SCHRÖTER, Claus.Lecture notes in computer science. 2001, pp 310-324, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Formal verification of the VAMP floating point unitBERG, Christoph; JACOBI, Christian.Lecture notes in computer science. 2001, pp 325-339, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Pruning techniques for the SAT-based bounded Model Checking problemSHTRICHMAN, Ofer.Lecture notes in computer science. 2001, pp 58-70, issn 0302-9743, isbn 3-540-42541-1Conference Paper

View from the fringe of the fringe (Extended Summary)JOHNSON, Steven D.Lecture notes in computer science. 2001, pp 1-12, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Automatic abstraction of memories in the formal verification of superscalar microprocessorsVELEV, Miroslav N.Lecture notes in computer science. 2001, pp 252-267, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Branching vs. linear time : Final showdownVARDI, Moshe Y.Lecture notes in computer science. 2001, pp 1-22, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Language containment checking with nondeterministic BDDsFINKBEINER, Bernd.Lecture notes in computer science. 2001, pp 24-38, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Testing an Intentional Naming scheme using genetic algorithmsKHURSHID, Sarfraz.Lecture notes in computer science. 2001, pp 358-372, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Multiclock EsterelBERRY, Gérard; SENTOVICH, Ellen.Lecture notes in computer science. 2001, pp 110-125, issn 0302-9743, isbn 3-540-42541-1Conference Paper